Discussion of Misconceptions about WCET Analysis
نویسندگان
چکیده
Worst-case execution time (WCET) analysis tools are needed for the development of hard real-time systems. Despite the theoretic advances in academic research in WCET there has been hardly any impact on the industrial practice of timing analysis. The essential question is why it was not possible to provide more influential research over the last one-and-a-half decades. This paper gives constructive answers to this question. It presents a number of misconceptions about current WCET analysis. These discussions will help to guide research to the development of more useful WCET analysis techniques. This paper deals with WCET analysis techniques for hard real-time systems.
منابع مشابه
Third Graders’ Misconceptions about Evaporation and Liquefaction Phenomena
Third Graders’ Misconceptions about Evaporation and Liquefaction Phenomena A. Badriyaan, Ph.D. Concepts of evaporation and liquefaction are of significance in both daily life and the school curriculum, yet misconceptions about these two phenomena are frequent. To assess the extent of such misconceptions among third graders, a cluster sample of 132 of them from four schools i...
متن کاملClassification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis
Tools for worst-case execution time (WCET) analysis request several code annotations from the user. However, most of them could be avoided or being annotated more comfortably if the compilers would support WCET analysis. This paper provides a clear categorization of code annotations for WCET analysis and discusses the positive impact on code annotations a compiler-support on WCET analysis would...
متن کاملTiming Anomalies Reloaded
Computing tight WCET bounds in the presence of timing anomalies – found in almost any modern hardware architecture – is a major challenge of timing analysis. In this paper, we renew the discussion about timing anomalies, demonstrating that even simple hardware architectures are prone to timing anomalies. We furthermore complete the list of timing-anomalous cache replacement policies, proving th...
متن کاملIdentifying Relevant Parameters to Improve WCET Analysis
Highly-configurable systems usually depend on a large number of parameters imposed by both hardware and software configuration. Due to the pessimistic assumptions of WCET analysis, if left unspecified, they deteriorate the quality of WCET analysis. In such a case, supplying the WCET analyzer with additional information about parameters (a scenario), e.g. possible variable ranges or values, allo...
متن کاملModel Checking of Cache for WCET Analysis Refinement
On real-time systems running under timing constraints, scheduling can be performed when one is aware of the worst case execution time (WCET) of tasks. Usually, the WCET of a task is unknown and schedulers make use of safe over-approximations given by static WCET analysis. To reduce the over-approximation, WCET analysis has to gain information about the underlying hardware behavior, such as pipe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003